Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Mon, 19 Feb 2024 16:12:25 +0000 (17:12 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 19 Feb 2024 16:12:25 +0000 (17:12 +0100)
commitc83e2482609f75c966c5f8ea856ee927351392c8
tree76a702994d3d9808c11f71b47535cd5cca284e17
parent20f8ffcb352137e7a83da28ad4e1be6f853cb698
Use VFPv3-D16 FPU for ARM builds

Upstream-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914

Jani writes: The D16 part was Debian/Ubuntu specific, IIRC we define hardfloat
in that particular variant (16 double registers) or we had a different naming
for some reason.

Gbp-Pq: Name ARM-VFPv3D16
m4/get_arm_isa.m4